1. Diagonalization and self-reference

پدیدآورنده :

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Recursion theory,، Fixed point theory

رده :
QA
9
.
6
.
S67
1994

2. Diagonalization and self-reference

پدیدآورنده :

کتابخانه: Central Library and Documentation Center (Semnan)

موضوع : ، Recursion theory,، Fixed point theory

رده :
QA
9
.
6
.
S67
1994

3. Diagonalization and self-reference

پدیدآورنده :

کتابخانه: Central Library of Amirkabir University of Technology (Tehran)

موضوع : Recursion theory , Fixed point theory

رده :
QA
9
.
6
.
S67
1994

4. Diagonalization & self-reference

پدیدآورنده :

کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

موضوع : ، Recursion theory,، Fixed point theory

رده :
QA
9
.
6
.
S67

5. First-order logic

پدیدآورنده :

کتابخانه: Library of College of Science University of Tehran (Tehran)

موضوع : ، Logic, Symbolic and mathematical

رده :
QA
9
.
S75

6. First-order logic

پدیدآورنده :

موضوع : ، First-order logic

۲ نسخه از این کتاب در ۱ کتابخانه موجود است.

7. Godel's incompleteness theorems

پدیدآورنده :

کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

موضوع : Godel's theorem

رده :
QA9
.
65
.
S69
1992

8. Godel's incompleteness theorems

پدیدآورنده :

کتابخانه: Central Library of Shahrekord University (Chaharmahal va Bakhtiari)

موضوع : Godel's theorem

9. Godel's incompleteness theorems

پدیدآورنده :

کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

موضوع : Godel's theorem

رده :
QA9
.
65
.
S69
1992

10. Godel's incompleteness theorems

پدیدآورنده :

کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

موضوع : Godel's theorem

رده :
QA9
.
65
.
S69
1992

11. Recursion theory for metamathematics

پدیدآورنده :

کتابخانه: Central Library and Documentation Center (Kerman)

موضوع : ، Recursion theory

رده :
QA
9
.
6
.
S68
1993

12. Satan, Cantor, and infinity

پدیدآورنده :

کتابخانه: Library of Farabi Campus of Tehran University (Qom)

رده :
QA
95
.
S5
1992

13. Satan, Cantor, and infinity, and other mind-boggling puzzles

پدیدآورنده :

کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)

موضوع : ، Mathematical recreations,، Godel's theorem

رده :
QA
95
.
S6S2

14. Satan, Cantor, and infinity : and other mind-boggling puzzles

پدیدآورنده :

کتابخانه: Central Library and Documentation Center (Kerman)

موضوع : ، Mathematical recreations,، Godel's theorem

رده :
QA
95
.
S5
1992

15. Theory of formal systems

پدیدآورنده :

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Recursive functions,، Mathematics

رده :
QA
1
.
A626
no
.
47

16. This book needs no title :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Paradoxes,Philosophical recreations

رده :
PN6361
.
S6

17. To mock a mocking bird:and other logic puzzles including an

پدیدآورنده :

کتابخانه: Central Library of Amirkabir University of Technology (Tehran)

موضوع : PHILOSOPHICAL RECREATIONS , PUZZLES , LOGIC

رده :
GV
1507
.
P43
S36
1985

18. To mock a mocking bird and other logic puzzles : including an amazing adventure in combinatory logic

پدیدآورنده :

کتابخانه: Central library and information center (Khorasan Razavi)

موضوع : ، Philosophical recreations,، Logic puzzles

رده :
GV
1507
.
P43
S68
1990

19. What is the name of this book? :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Logic puzzles

رده :
GV1493
.
S63
2011

20. What is the name of this book? :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)